1. Foundations of secure computation
المؤلف: edited by Friedrich L. Bauer, Ralf Steinbruggen
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Computer security
رده :
QA
76
.
9
.
A25
F69
2000
2. Foundations of secure computation
المؤلف: edited by Friedrich L. Bauer, Ralf Steinbruggen
المکتبة: (طهران)
موضوع: Congresses ، Computer security
رده :
QA
76
.
9
.
A25
F65
1999
3. Logic, Algebra, and Computation :
المؤلف: edited by Friedrich L. Bauer.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
63
E358
1991
4. Logic, algebra, and computation : international summer school directed by F.L. Bauer ... )et al.(
پدیدآورنده : edited by Friedrich L. Bauer
موضوع : Logic programming - Congresses,Algebra - Congresses,Computational complexity - Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
5. Logic, algebra, and computation : international summer school directed by F.L. Bauer ... )et al.(
المؤلف: edited by Friedrich L. Bauer
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Logic programming,Congresses ، Algebra,Congresses ، Computational complexity
رده :
QA
76
.
63
.
L618
1991
6. Logic and Algebra of Specification
المؤلف: edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer Communication Networks.,Computer science.,Logic design.
رده :
QA76
.
9
.
M35
E358
1993
7. Logic and algebra of specification
المؤلف: edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg
المکتبة: (طهران)
موضوع: ، Computer science -- Mathematics,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35N37
1991
8. Program Construction :
المؤلف: edited by Friedrich L. Bauer, Manfred Broy, E.W. Dijkstra, S.L. Gerhart, D. Gries, M. Griffiths, J.V. Guttag, J.J. Horning, S.S. Owicki, C. Pair, H. Partsch, P. Pepper, M. Wirsing, H. Wössner.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Programmation (Informatique)
رده :
QA76
.
6
E358
1979
